Basic Linear Algebraic Techniques for Place or Transition Nets
نویسنده
چکیده
Abst rac t . Linear algebraic techniques for place/transition nets are surveyed. In particular, place and transition invariant vectors and their application to verification, proof and analysis of behavioral properties of marked Petri nets are l)resented. The considered properties are the nonreachabi l i ty of a marking and conditious that hold true for all reachable markings. In addition, it is slmwn how the rank of tim incidence matrix implies sufficient criteria and necessary criteria for liveness of bounded marked Petri nets.
منابع مشابه
On Liveness Analysis through Linear Algebraic Techniques
Proving properties of Place/Transition Nets through Linear Algebraic Techniques is very interesting because of the polynomial complexity of the algorithms used for this purpose. In this sense, many works have been devoted to the linear analysis of marking related properties (e.g. boundedness of the state space, mutual exclusions, etc.). Nevertheless, few results exist related to linear analysis...
متن کاملLinear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems
A b s t r a c t . The structure theory of Place/Transit ion net systems is surveyed incorporating new contributions --in a tutorial style, mainly from a linear algebraic perspective. Topics included are: s ta te equation based analysis of safety properties (e.g., boundedness, mutual exclusion, deadlock-freeness, etc.), linear invariants, siphons and traps, implicit places and their application ...
متن کاملOn the Semantics of Place/Transition Petri Nets
Place/Transition (PT) Petri nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the ‘token game’ is too intensional, even in its more abstract interpretations in terms of nonsequential processes and monoidal categories; on the other hand, Winskel’s basic unfolding construction, which provides a coreflection...
متن کاملTransition Invariants in Algebraic High-Level Nets
Transition invariants play an important role in the analysis of Petri nets. They determine cycles within a system. In this paper we present a categorical characterization of transition invariants in algebraic high-level (AHL) nets. Thus, when transforming or composing AHL nets using categorical structuring techniques , a suitable transformation or composition of their invariants becomes possibl...
متن کاملTwo Algebraic Process Semantics for Contextual Nets
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable nonfree monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996